first-order theory - Spanish English Dictionary